propositional logic - French English Dictionary